EquivRel($\mathbb{P}$;$A$,$B$.$A$ $\Leftarrow\!\Rightarrow$ $B$)